On SAT representations of XOR constraints

We study the representation of systems S of linear equations over the two-element field (aka xor- or parity-constraints) via conjunctive normal forms F (boolean clause-sets). First we consider the problem of finding an "arc-consistent" representation ("AC"), meaning that unit-clause propagation will fix all forced assignments for all possible instantiations of the xor-variables. Our main negative result is that there is no polysize AC-representation in general. On the positive side we show that finding such an AC-representation is fixed-parameter tractable (fpt) in the number of equations. Then we turn to a stronger criterion of representation, namely propagation completeness ("PC") --- while AC only covers the variables of S, now all the variables in F (the variables in S plus auxiliary variables) are considered for PC. We show that the standard translation actually yields a PC representation for one equation, but fails so for two equations (in fact arbitrarily badly). We show that with a more intelligent translation we can also easily compute a translation to PC for two equations. We conjecture that computing a representation in PC is fpt in the number of equations.Comment: 39 pages; 2nd v. improved handling of acyclic systems, free-standing proof of the transformation from AC-representations to monotone circuits, improved wording and literature review; 3rd v. updated literature, strengthened treatment of monotonisation, improved discussions; 4th v. update of literature, discussions and formulations, more details and examples; conference v. to appear LATA 201

Evolution of kinklike fluctuations associated with ion pickup within reconnection outflows in the Earth's magnetotail

Magnetic reconnection (MR) in Earth's magnetotail is usually followed by a systemwide redistribution of explosively released kinetic and thermal energy. Recently, multispacecraft observations from the THEMIS mission were used to study localized explosions associated with MR in the magnetotail so as to understand subsequent Earthward propagation of MR outbursts during substorms. Here we investigate plasma and magnetic field fluctuations/structures associated with MR exhaust and ion-ion kink mode instability during a well documented MR event. Generation, evolution and fading of kinklike oscillations are followed over a distance of 70 000 km from the reconnection site in the midmagnetotail to the more dipolar region near the Earth. We have found that the kink oscillations driven by different ion populations within the outflow region can be at least 25 000 km from the reconnection site.Comment: 11 pages, 4 figure

Singly charged higgses at linear collider

We consider the production of singly charged Higgs bosons in the Higgs triplet and two Higgs doublet models. We evaluate the cross sections for the pair production and the single production of charged higgses at linear collider. The decay modes of $H^+$ and the Standard Model backgrounds are considered. We analyze the possibilities to differentiate between triplet and two Higgs doublet models.Comment: 22 pages 9 figure

Drift-induced deceleration of Solar Energetic Particles

We investigate the deceleration of Solar Energetic Particles (SEPs) during their propagation from the Sun through interplanetary space, in the presence of weak to strong scattering in a Parker spiral configuration, using relativistic full orbit test particle simulations. The calculations retain all three spatial variables describing particles’ trajectories, allowing to model any transport across the magnetic field. Large energy change is shown to occur for protons, due to the combined effect of standard adiabatic deceleration and a significant contribution from particle drift in the direction opposite to that of the solar wind electric field. The latter drift-induced deceleration is found to have a stronger effect for SEP energies than for galactic cosmic rays. The kinetic energy of protons injected at 1 MeV is found to be reduced by between 35 and 90% after four days, and for protons injected at 100 MeV by between 20 and 55%. The overall degree of deceleration is a weak function of the scattering mean free path, showing that, although adiabatic deceleration plays a role, a large contribution is due to particle drift. Current SEP transport models are found to account for drift-induced deceleration in an approximate way and their accuracy will need to be assessed in future work

Interactions of dietary fat with the gut microbiota: evaluation of mechanisms and metabolic consequences

The current scientific literature proposes that both the amount and type of dietary fat modulate homeostasis of the gut microbiota; disturbances in homeostasis may have metabolic consequences with potentially serious clinical manifestations. The evidence for interactions between dietary fat and gut microbiota has been mostly derived from animal studies, but there is now also evidence emerging from human studies. We will review the current literature on how dietary fat influences the gut microbiota, particularly focusing on the type of fat. Mechanisms detailing how this crosstalk may impact on host metabolism and health will also be discussed. Some studies have reported somewhat controversial findings and therefore we will evaluate critically which possible aspects should be considered when interpreting current and planning further studies to explore the diet-microbiota crosstalk and its metabolic and clinical implications for the host.</p

Indoor green wall affects health-associated commensal skin microbiota and enhances immune regulation : A randomized trial among urban office workers

Urbanization reduces microbiological abundance and diversity, which has been associated with immune mediated diseases. Urban greening may be used as a prophylactic method to restore microbiological diversity in cities and among urbanites. This study evaluated the impact of air-circulating green walls on bacterial abundance and diversity on human skin, and on immune responses determined by blood cytokine measurements. Human subjects working in offices in two Finnish cities (Lahti and Tampere) participated in a two-week intervention, where green walls were installed in the rooms of the experimental group. Control group worked without green walls. Skin and blood samples were collected before (Day0), during (Day14) and two weeks after (Day28) the intervention. The relative abundance of genus Lactobacillus and the Shannon diversity of phylum Proteobacteria and class Gammaproteobacteria increased in the experimental group. Proteobacterial diversity was connected to the lower proinflammatory cytokine IL-17A level among participants in Lahti. In addition, the change in TGF-beta 1 levels was opposite between the experimental and control group. As skin Lactobacillus and the diversity of Proteobacteria and Gammaproteobacteria are considered advantageous for skin health, air-circulating green walls may induce beneficial changes in a human microbiome. The immunomodulatory potential of air-circulating green walls deserves further research attention.Peer reviewe

Solar interacting protons versus interplanetary protons in the core plus halo model of diffusive shock acceleration and stochastic re-acceleration

With the first observations of solar γ-rays from the decay of pions, the relationship of protons producing ground level enhancements (GLEs) on the Earth to those of similar energies producing the γ-rays on the Sun has been debated. These two populations may be either independent and simply coincident in large flares, or they may be, in fact, the same population stemming from a single accelerating agent and jointly distributed at the Sun and also in space. Assuming the latter, we model a scenario in which particles are accelerated near the Sun in a shock wave with a fraction transported back to the solar surface to radiate, while the remainder is detected at Earth in the form of a GLE. Interplanetary ions versus ions interacting at the Sun are studied for a spherical shock wave propagating in a radial magnetic field through a highly turbulent radial ray (the acceleration core) and surrounding weakly turbulent sector in which the accelerated particles can propagate toward or away from the Sun. The model presented here accounts for both the first-order Fermi acceleration at the shock front and the second-order, stochastic re-acceleration by the turbulence enhanced behind the shock. We find that the re-acceleration is important in generating the γ-radiation and we also find that up to 10% of the particle population can find its way to the Sun as compared to particles escaping to the interplanetary space